翻訳と辞書 Words near each other ・ Martin Jirouš ・ Martin Jiránek ・ Martin Johann Schmidt ・ Martin Johansen ・ Martin Johansson ・ Martin Johansson (ice hockey, born 1975) ・ Martin Johansson (ice hockey, born 1977) ・ Martin Johansson (ice hockey, born 1987) ・ Martin Huston ・ Martin Husár ・ Martin Hutton ・ Martin Huxley ・ Martin Hvastija ・ Martin Hyatt ・ Martin Hyde ・ Martin Hyland ・ Martin Hynes ・ Martin Hyský ・ Martin Hyun ・ Martin Hála ・ Martin Hägglund ・ Martin Häner ・ Martin Häusler ・ Martin Häusling ・ Martin Höhener ・ Martin Höllwarth ・ Martin Høgsted ・ Martin Høyem ・ Martin Hürlimann ・ Martin Hřídel Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Martin Hyland ： ウィキペディア英語版 Martin Hyland John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science. Martin Hyland is best known for his work on category theory applied to logic (proof theory, recursion theory), theoretical computer science (lambda-calculus and semantics) and higher-dimensional algebra. In particular he is known for work on the effective topos (within topos theory) and on game semantics. ==Notes== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Martin Hyland」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.